A Test Environment for High Integrity Software Development
نویسندگان
چکیده
The paper describes the architecture and implementation of the dynamic analysis tools that are part of the DOBERTSEE environment. DOBERTSEE is a low-cost, flexible software engineering environment which enables different development processes and methods to be supported by integrating different tools. An XML-based language is used as a basis for integration. The current version of the environment supports the HRT-HOOD method and Ravenscar Ada, and includes an extensive set of static and dynamic analysis tools.
منابع مشابه
Generic Process Framework for Developing High-Integrity Software
In high-integrity systems, certain quality requirements have gained utmost significance in such a way that failing to satisfy them at a particular level may result in the loss of the entire system, endangerment of human life, peril to the organization’s existence, or serious damage to the environment. High-integrity computer systems should incorporate top-quality software in order to adequately...
متن کاملTowards a Sustainable Anti-Corruption Strategy: An Ethic-Induced Model
Literature abounds to show that the current anti-corruption strategies have failed to fight corruption because of neglect of ethics in these strategies, despite its importance. The purpose of this paper is to make a contribution to anti-corruption theory by developing a model that clarifies many complex ethical dilemmas around corruption. To develop a conceptual model, the extant literatures on...
متن کاملDesigning a model for critical thinking development in AJA University of Medical Sciences
Introduction: In the new concept of medical education, creativitydevelopment is an important goal. The aim of this research wastoidentify a model for developing critical thinking among studentswith the special focus on learning environment and learning style.Methods: This applied and cross-sectional study was conductedamong all students studying in undergraduate and professionaldoctorate progra...
متن کاملManaging Product Variants in a Software Product Line with PTC Integrity
At the same time, many product development organizations today are burdened with a wide array of disparate application lifecycle management (ALM) tools acquired over time and incrementally bundled together to automate the myriad of high-ceremony development processes. The resulting environment is one fraught with redundancy, inefficiency, error, escalating costs, compliance issues and lack of v...
متن کاملPrioritizing Test Case Generation for Software Testing in High Level Programming Development Environment
Abstract—Software testing is very tedious process and during the software development, testing needs time, efforts and money. Testing and retesting is part of development process and lots of efforts are needed for doing this. Detecting faults and errors in the early stages of development is the main task of any testing team. The entire test suits are written for the same target and the test sui...
متن کامل